секвенция - определение. Что такое секвенция
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое секвенция - определение

СТРАНИЦА ЗНАЧЕНИЙ В ПРОЕКТЕ ВИКИМЕДИА
Найдено результатов: 12
секвенция         
ж.
1) Перемещение одного и того же напева по ступеням гаммы вверх или вниз.
2) Название некоторых древнейших католических церковных песнопений.
СЕКВЕНЦИЯ         
и, ж. муз.
1. Перемещение одного и того же напева по ступеням гаммы вверх или вниз.
2. Средневековое религиозное песнопение. | Первонач. с. входила в григорианский хорал, а со вре-менем стала самостоятельной.
Секвенция         
Секвенция - в музыке постепенное повторение мотива, от одного дочетырех тактов, в восходящем или нисходящем порядке. При такомповторении выбирается интервал, на который мотив долженперестанавливаться при своем повторении. С. бывает точная и неточная. Вточной мотив повторяется буквально (транспонируется), сохраняя не тольконазвание всех своих интервалов, но и их величину; при этом мотивповторяется постоянно, повышаясь и понижаясь на тот же интервал. Внеточной С. в мотиве сохраняются интервалы, но допускаются изменения ихточной величины, а также мотив повышается или понижается не буквально натот же интервал. Цепь доминант-септ-аккордов, из которых каждый идет вследующий доминант-аккорд, отстоящий на чистую квинту вниз, такженазывается С. Другие диссонирующие аккорды также служат для образованияС. Септ-аккорды в пределах лада, образующие секвенцию, постоянноспускающуюся по квинтам вниз, называются секвенц-аккордами. С. в католической церкви - особый род сочинения, относящийся к IX в.и состоявший в том, что под колоратурой, встречавшейся в грегорианскомпении на слове "Аллилуя", подписывался новый текст, при чем на каждуюноту мелодии приходился отдельный слог этого текста, прозаического илистихотворного. Ноткер, аббат санкт-галленского м-ря, сочинял свои С.самостоятельно, под непосредственным впечатлением явлений, встречавшихсяв его жизни. Позднее некоторые С. сделались достоянием народа (напр."Dies irae" Фомы Челанского, XIII в.). С. носит характер грегорианскогопения. И. С. Секреция - процесс выработки и выделения соков железами.Примером С. могут служить процессы отделения соков пищеварительнымижелезами. Сюда же относится деятельность и других желез - потовых,мочеполовых и т. д. Анатомическим субстратом С. у высших животных всегдаслужат особенные специфические отделительные клетки желез. Они иливырабатывают, или активно притягивают из соков тела, т. е. крови илимфы, те или другие продукты, которые и выносят выводными продуктамисвоими или наружу, или во внутренние полости тела. В этом отношенииприходится различать в акте С. - отделения от выделений, разумея подпервыми соки, нужные, полезные для вырабатывающего их организма, а подвторыми - соки, подлежащие выведению и заключающие только продуктытканевого распада - как то пот, моча. Молоко, представляя продукт С.,есть единственный секрет, имеющий и то, и другое значение: оно естьвыделение для образующего его организма, но отделение длявскармливаемого им плода. Ныне, после работа Браун-Секара, Шиффа,Вассаля, Меринга, Глея, Типцони, Ланглуа, и др., уже не подлежитникакому сомнению, что кроме наружной С. желез, выражающейся выведениемиз них соков выводными протоками их, следует признать еще иную,внутреннюю С., состоящую в том, что некоторые из продуктов, крайневажных для поддержания жизни и специально вырабатываемых железистымиклетками различных желез, поступают из них прямо в кровь и лимфу иразносятся ими по всему телу на пользу всего организма и могут вовсе непопадать в выводные протоки желез; некоторые железы как напр.щитовидные, надпочечные, совершенно лишены выводных протоков.Существование таких продуктов внутренней и, крайне необходимых дляподдержания на норме тех или других жизненных функций, уже не подлежитболее сомнению и на них то покоится вся область ныне все более и болеераспространяющейся органотерапии. Вот ряд самых существенных фактов,указывающих на существование внутренней С. желез и на важное значение еедля жизни организма: 1) кастрация человека, т. е. лишение его тестикул,задерживает его физическое развитие, обусловливает недоразвитие волос, вособенности на лице, гортани, вследствие чего голос у скопцов бываетвысоким, женским; мышечная и костная система гораздо слабее нормы инаблюдается физическая и психическая вялость. Подкожное введете человекувытяжки из тестикул животных, так назыв. тестикулярной эмульсии БраунСекара, оказывает, по этому автору и др.. укрепляющее, так назыв.динамогенное действие на нервную и мышечную системы. 2) Другой оченьважный пример внутренней С. представляет щитовидная железа. Шифф первыйуказал, что собаки с удаленной щитовидной железой никогда не выживают испустя несколько недель погибают в различных нервных припадках. Гулль,Орд, Шарко выяснили, что последствием атрофии или оперативного удалениящитовидных желез у человека является слизистый отек тканей, так наз.миксодема с развитием кретинизма; хирурги Реверден и Кохер подтвердилиэто многими хирургическими случаями и доказали, что и для человекаполное вылущение этой железы, напр. в случаях зоба или раковых пораженийее, ведет к развитию микседемы и тупоумия и бывает всегда под конецсмертельным. Между тем как Шифф, так и хирурги указали, что оставлениехоть кусочка щитовидной железы при ее вылущениях устраняет смертельныйисход операции. В виду этого важного факта и того, что щитовидная железалишена выводного протока, становится очевидным, что она вырабатываеткакие-то продукты внутренней С., необходимые для жизни и поступающие изее прямо в кровь. Доказывается это положение еще и тем, что животные,заболевшие от полного вылущения щитовидной железы и обреченные смерти,могут быть спасены, как показали Глей и Вассаль, путем введения им вкровь вытяжки щитовидной железы. Муррей применял эти вытяжки в случаяхслизистого отека у обезьян и людей и получил прекрасные результаты.Бауману удалось извлечь из щитовидной железы животных химическоевещество, названное им тироиадином, отличающееся содержанием йода идействующим, повидимому, на человека и животных подобно всей вытяжкещитовидной железы; поэтому тироиадин с успехом применяется при слизистомотеке и нервных расстройствах, характерных для микседемы и связанного снею нередко кретинизма. По другому взгляду, щитовидная железавырабатывает питательное вещество для серого мозгового вещества - роднуклеоальбумина из муцина и когда железа удалена, то муцин накопляется втеле и наводняет ткани и органы. Удаление железы влечет за собойразлитой по нервным центрам головного и спинного мозга процессперерождения и неудивительно после этого, что вылущение той железы можетвести к кретинизму. Вообще признают, что внутренняя секреция щитовиднойжелезы нужна для правильного развития и роста животного, для развитиянервной системы и сердца. 3) Третьим примером внутренней С. служатнадпочечные железы. Браун-Секар открыл тот замечательный факт, чтовырезание надпочечных желез, тоже не имеющих выводного протока, невыносится высшими животными более суток и они погибают то в параличах,то в судорогах, нередко при полной потере сознания. Абеду и Ланглуапоказали, что впрыскивание оперированным животным вытяжек этих железнеоднократно спасало животных от неминуемой смерти. Из картины болезнейживотных, подвергшихся операции удаления этих желез и из изученияфизиологического действия некоторых продуктов, извлеченных из этихжелез, Цыбульский, Симонович и Оливер заключили, что эти органывырабатывают и посылают в кровь такие химические начала, которыеявляются естественными возбудителями дыхательного центра,сосудо-двигательных и задерживающих центров Известно, что так назыв.бронзовая или Аддисонова болезнь обязана поражению надпочечных желез.Буанэ вырезанием у белых крыс надпочечных желез вызывал у них всеглавные болезненные явления вместе с пигментацией кожи, свойственнойАддисоновой болезни у человека. Впрыскивание экстракта надпочечных железпри Аддисоновой болезни у человека дает нередко благоприятныерезультаты. Наконец, на основании всего сказанного к вытяжке тех жежелез прибегают и при слабости сердца и понижении тонуса сосудов ислабости мышц вообще. И. Тарханов.
секвенция         
СЕКВ'ЕНЦИЯ, секвенции, ·жен. (·лат. sequentia - следование) (муз.). То же, что прогрессия
во 2 ·знач.
СЕКВЕНЦИЯ         
(от средневекового лат. sequentia - последовательность), 1) проведение мелодического оборота или многоголосного музыкального построения на определенный интервал выше или ниже первоначального или (в последующих звеньях) предыдущего.2) Жанр средневековой монодии, возникший в практике подтекстовки юбиляций на последнем слоге слова аллилуйя (изредка всего напева) в григорианском пении.
Секвенция (музыка)         
  • <center>Антуан Бюнуа. Мотет «In hydraulis» (1467). Квадратными скобками показаны звенья секвенции</center>
  • <center>Глинка. Руслан и Людмила: [[Марш Черномора]]</center>
  • center
  • center
Секве́нция (, progression; , ; . в технике музыкальной композиции — последовательное повторение мелодической фразы или гармонического оборота на другой высотеСеквенция в БРЭ (2020)..
Секвенция (жанр)         
  • Секвенция «Laudes crucis» (первые 3 строфы). Транскрипция по рукописи [https://gallica.bnf.fr/ark:/12148/btv1b84323061/f382.item.zoom# F-Pn lat. 833, f.187v] (XII в.)
  • Секвенция «Rex caeli» из [[Бамберг]]ской рукописи трактата ''Musica Enchiriadis'' (2-я половина IX в., Германия)
Секве́нция ( — последование, от sequens следующий) — текстомузыкальная форма и литургический жанр григорианской монодииЛебедев С. Н.
Секвенция о святой Евлалии         
  • Рукопись IX века, содержащая секвенцию (на левой странице) и «Песнь о Людовике»
Гимн святой Евлалии
Секвенция о святой Евлалии () — агиографическое сочинение конца IX века, древнейший литературный текст на французском языке (старофранцузский период). Обнаружено в 1837 году, в одной рукописи с древневерхненемецкой «» (), немецким поэтом ФаллерслебеномGallica.
Исчисление секвенций         
Исчисление секвенций — вариант логических исчислений, использующий для доказательства утверждений не произвольные цепочки тавтологий, а последовательности условных суждений — секвенций. Наиболее известные исчисления секвенций — \mathbf{LK} и \mathbf{LJ} для классического и интуиционистского исчислений предикатов — построены Генценом в 1934 году, позднее сформулированы секвенциальные варианты для широкого класса прикладных исчислений (арифметики, анализа), теорий типов, неклассических логик.
Секвенций исчисление      
(позднелатинское sequentia - последовательность, следствие)

секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не формулы, а т. н. секвенции, т. е. выражения вида A1,..., AlB1,..., Bm, где → аналогична знаку выводимости, A1,..., Al и B1,..., Bm - произвольные формулы; первые - образующие антецедент секвенции, вторые - её сукцедент. При l, m ≥ 1 секвенция A1,..., AlB1,... Bm интерпретируется как формула

A1&... &A1 B1 ∨...∨ Bm.

(& - знак конъюнкции, ⊃ - импликации, ∨ - дизъюнкции, см. Логические операции), секвенция с пустым антецедентом интерпретируется как истина, а секвенция с пустым сукцедентом - как ложь (и, следовательно, секвенция →, состоящая из одной стрелки, - как противоречие). Аксиомами (исходными секвенциями) в С. и. являются все секвенции вида С С (и только они). Правила вывода делятся на т. н. структурные и логические. Первые кодифицируют допустимые изменения "формульного состава" антецедента и сукцедента, вторые - введение в секвенции различных логических символов. Структурные правила - это "уточнение" (добавление произвольной формулы к антецеденту или сукцеденту), "сокращение" (вычёркивание повторяющихся формул), перестановка произвольных формул в антецеденте или сукцеденте, а также "сечение"

(латинскими буквами обозначаются произвольные формулы, греческими - строчки формул, разделённых запятыми, над чертой пишется посылка правила, под чертой - заключение). Логические правила вывода имеют для секвенциального классического исчисления высказываний (См. Исчисление высказываний) следующий вид:

; ;

.

Если и структурные, и логические правила вывода ограничить условием, согласно которому в сукцеденте каждой секвенции должно быть не более одной формулы, то получим секвенциальное интуиционистское исчисление высказываний: это условие оказывается достаточным для невыводимости в С. и. исключенного третьего принципа (См. Исключённого третьего принцип) (а также закона снятия двойного отрицания). Секвенциальное Исчисление предикатов получается присоединением к предыдущим правилам ещё двух пар правил введения Кванторов общности и существования.

Основной результат немецкого математика Г. Генцена состоит в установлении возможности приведения каждого вывода в С. и. к "нормальной форме", не содержащей применений правила сечения и тем самым представляющей в некотором смысле "прямой" вывод. Из многочисленных приложений этого результата особенно важны доказательства непротиворечивости (См. Непротиворечивость) арифметических формальных систем, использующие математическую технику, выходящую за рамки гильбертовского финитизма (см. Аксиоматический метод, Метаматематика), и тем самым обходящие в известном смысле трудности, обусловленные теоремой К. Гёделя (См. Гёдель) о неполноте формальной арифметики. Эта же основная теорема Генцена лежит в основе большинства алгоритмов выводимости для логических и логико-математических исчислений (см. Разрешения проблема), чем и обусловлена исключительная важность С. и. для интенсивно развивающихся исследований в области машинного поиска логического вывода, являющихся важным примером моделирования (См. Моделирование) интеллектуальной деятельности человека.

Лит.: Генцен Г., Исследования логических выводов, пер. с нем., в кн.: Математическая теория логического вывода, М, 1967, с. 9-74; его же. Непротиворечивость чистой теории чисел, там же, с. 77-153; его же, Новое изложение доказательства непротиворечивости для чистой теории чисел, там же, с. 154-90; Карри Х. Б Основания математической логики. пер. с англ., М., 1969, гл. 5С, 6B, 7B и 8B; Алгорифм машинного поиска естественного логического вывода в исчислении высказываний, М. - Л., 1965.

Википедия

Секвенция

Секве́нция (лат. sequentia — «последовательность»):

  • Секвенция (музыка) — техника музыкальной композиции.
  • Секвенция (жанр) — поэтический жанр и форма богослужебной музыки католиков.
  • Секвенция (ансамбль) — ансамбль средневековой музыки.
  • Секвенция (англ. sequention) — упорядоченная двоичная последовательность в асинхронной секвенциальной логике.
  • Секвенция (теория доказательств) (англ. sequent, нем. sequenz) — формула генценовской системы исчисления в теории доказательств.
  • Секвенция (троллейбус) — тумблер, предназначен для проверки работоспособности схемы управления при снятых токоприемниках
Что такое секвенция - определение